rocteur

rocteur [ʀɔktœʀ] n. m.

ÉTYM. 1875, forme picarde; roqueteur « carrier », XIII^e; de l'anc. verbe roqueter « extraire des pierres », de roc.

❖

♦ Techn. Ouvrier détachant le minerai ou la roche, dans une carrière ou une mine, lorsque l'abattage n'exige pas de boisage systématique.

Encyclopédie Universelle. 2012.